翻訳と辞書
Words near each other
・ Thomas Strange
・ Thomas Strangman
・ Thomas Strangways
・ Thomas Strangways (1643–1713)
・ Thomas Stratos
・ Thomas Strauthers
・ Thomas Strauß
・ Thomas Straw
・ Thomas Streatfeild
・ Thomas Street
・ Thomas Street (judge)
・ Thomas Street railway station
・ Thomas Street, Dublin
・ Thomas Street, Limerick
・ Thomas Street, Perth
Thomas Streicher
・ Thomas Streimelweger
・ Thomas Strengberger
・ Thomas Stretch
・ Thomas Stretcher
・ Thomas Strickland
・ Thomas Strickland (cavalier)
・ Thomas Stringer
・ Thomas Strohm
・ Thomas Strong
・ Thomas Strong (bishop)
・ Thomas Strong House
・ Thomas Strothotte
・ Thomas Strudwick
・ Thomas Strunz


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Thomas Streicher : ウィキペディア英語版
Thomas Streicher

Thomas Streicher is a Professor of Mathematics at Technische Universität Darmstadt. He received his PhD in 1988 from the University of Passau with advisor Manfred Broy.
== Work ==

His research interests include categorical logic, domain theory and Martin-Löf type theory.
In joint work with Martin Hofmann he constructed a model for intensional Martin-Löf type theory where identity types are interpreted as groupoids. This was the first model with non-trivial identity types, i.e. other than sets. Based on this work other models with non-trivial identity types were studied, including homotopy type theory which has been proposed as a foundation for mathematics in Vladimir Voevodsky's research program ''Univalent Foundations of Mathematics''.
Together with Martin Hofmann he received the 2014 LICS Test-of-Time Award for the paper "The groupoid model refutes uniqueness of identity proofs".

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Thomas Streicher」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.